Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science)
by Anil Nerode,Yu.V. Matiyasevich
ISBN 13: 9783540581406
Format: Paperback (408 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
